widget-factory: use circular style class on the circular button...

...in place of the circular-button one, killing the custom style
shipped, realying on the theme style.

diff --git a/demos/widget-factory/widget-factory.css b/demos/widget-factory/widget-factory.css
index 7f764cac593ce00e13ee63ddc59d6e4e790d684d..1782e6db5f65eb0432273f90fe1a069807e7c963 100644 (file)
--- a/demos/widget-factory/widget-factory.css
+++ b/demos/widget-factory/widget-factory.css
@@ -1,8 +1,3 @@
-.circular-button {
-  border-radius: 20px;
-  -gtk-outline-radius: 20px;
-}
-
 .small-button {
   padding: 0;
   outline-width: 0;

diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 3ea03b6fe0757d14b47a39d622a2878c526bbc22..34bddd54a28432ed74371849972bf9fc84b9c53c 100644 (file)
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -3066,7 +3066,7 @@ microphone-sensitivity-medium-symbolic</property>
                                 <property name="visible">1</property>
                                 <style>
                                   <class name="image-button"/>
-                                  <class name="circular-button"/>
+                                  <class name="circular"/>
                                 </style>
                                 <child>
                                   <object class="GtkImage">